Nottingham FP Lab Blog
Home
All posts
Tags
FRP
Game programming
General
Kinect
Lunches
Puzzles
Type theory meetings
Yampa
Posts tagged ‘Type theory meetings’
Categorical Semantics of Dependent Type Theory
-
February 7, 2013
- by
nicolai
Induction-Recursion and Impredicativity
-
December 6, 2012
- by
Venanzio
Isomorphisms and weak equivalences
-
November 28, 2012
- by
Paolo Capriotti
Homotopy tutorial 1
-
November 7, 2012
- by
Ambrus Kaposi